| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3TNMNTS | |||
| Repositório | sid.inpe.br/mtc-m21c/2019/07.29.10.34 | |||
| Última Atualização | 2019:11.18.12.22.13 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/07.29.10.34.08 | |||
| Última Atualização dos Metadados | 2020:01.06.11.42.17 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| DOI | 10.1007/978-3-030-24289-3_5 | |||
| ISBN | 978-303024288-6 | |||
| ISSN | 03029743 | |||
| Chave de Citação | DiotoErasSant:2019:FePrMo | |||
| Título | On the feasibility of probabilistic model checking to analyze battery sustained power supply systems  | |||
| Ano | 2019 | |||
| Data de Acesso | 09 maio 2024 | |||
| Tipo Secundário | PRE CI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1475 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Dioto, Marina 2 Eras, Eduardo Rohde 3 Santiago Júnior, Valdivino Alexandre | |||
| Grupo | 1 2 CAP-COMP-SESPG-INPE-MCTIC-GOV-BR 3 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Instituto Edson Mororó de Moura (ITEMM) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail do Autor | 1 marina.dioto@itemm.org.br 2 quiles@unifesp.br 3 valdivino.santiago@inpe.br | |||
| Editor | Misra, S. Stankova, E. Korkhov, V. Torre, C. Tarantino, E. Rocha, A. M. A. C. Taniar, D. Gervasi, O. Apduhan, B. O. Murgante, B. | |||
| Nome do Evento | International Conference on Computational Science and Its Applications, 19 (ICCSA) | |||
| Localização do Evento | Saint Petersburg, Russia | |||
| Data | 01-04 July | |||
| Editora (Publisher) | Springer Verlag | |||
| Páginas | 743-757 | |||
| Título do Livro | Proceedings | |||
| Histórico (UTC) | 2019-07-29 10:34:08 :: simone -> administrator :: 2019-08-02 12:29:46 :: administrator -> simone :: 2019 2019-11-18 12:22:14 :: simone -> administrator :: 2019 2020-01-06 11:42:17 :: administrator -> simone :: 2019 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Resumo | Probabilistic Model Checking is a Formal Verification method which is able to guarantee, according to a specified probability, the correctness of a system that presents stochastic behavior. It is an approach which has been applied to several different application domains such as biology, communication and network protocols, security, dependability, just to name a few. In this paper, we realize about the feasibility of Probabilistic Model Checking to analyze power supply systems. We modelled and evaluated two types of systems: a solar power system and batteries of artificial satellites. Our findings show that Probabilistic Model Checking provides accurate results and can be used as a complementary approach to traditional simulation tools for Model-Driven Development of complex industrial applications. | |||
| Área | COMP | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > On the feasibility... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > On the feasibility... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://mtc-m21c.sid.inpe.br/ibi/8JMKD3MGP3W34R/3TNMNTS | |||
| URL dos dados zipados | http://mtc-m21c.sid.inpe.br/zip/8JMKD3MGP3W34R/3TNMNTS | |||
| Idioma | en | |||
| Arquivo Alvo | dioto_feasibility.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/3F2PHGS | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2013/10.12.22.16 1 | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination e-mailaddress edition format keywords label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||